Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.orgยท8h
๐๏ธType Indexing
Flag this post
A Pattern Language for Pattern Languages
mcqn.netยท6h
๐Backus-Naur Form
Flag this post
FAWK: LLMs can write a language interpreter
๐ชOCaml
Flag this post
Understanding PL/SQL Collections: Associative Arrays, Nested Tables, and VARRAYs
๐Row Typing
Flag this post
Weekly Bookmarks
inkdroid.orgยท51m
๐ชขRope Data Structures
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.comยท22h
โ๏ธInference Rules
Flag this post
Meditations on geometric packing
shvbsle.inยท20h
๐Effect Rows
Flag this post
The Easiest Way to Build a Type Checker
โ
Type Checking
Flag this post
Perennial Technical Reading List
๐ฑBytecode Design
Flag this post
10000
jro.sgยท17h
๐ฆExecutable Size
Flag this post
The Secret Life of Go
๐Self-Documenting Code
Flag this post
Rust Smart Pointers: Safe Memory Management Without Garbage Collection
๐Rust Borrowing
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.comยท23h
๐ฎType Inference Visualization
Flag this post
Post-Conj update
๐ฎClojure
Flag this post
My code is 100% AI generated
jda.bearblog.devยท12h
๐Self-Documenting Code
Flag this post
Making SLH-DSA 10x-100x Faster
conduition.ioยท5h
๐Hash Algorithms
Flag this post
Beyond the Changelog: Engineering Your Blog for B2B Thought Leadership
๐ฎLanguage Ergonomics
Flag this post
Dingo: A Meta-Language for Go
๐คEmbedded Go
Flag this post
Loading...Loading more...